System and method for dynamic analysis tracking object associations for application dataflow

ABSTRACT

Data source information is recorded into a source tracking object embedded in a wrapper object pointing to a data object from the data source. Tracking event information is recorded into a flow tracking object embedded in a wrapper object copy as the tracking event processes the wrapper object copy. Other tracking event information is recorded into another flow tracking object embedded in another wrapper object as the other tracking event processes the other wrapper object. The flow tracking object is associated with the other flow tracking object in response to a field retrieval of the wrapper object copy from the other wrapper object. The wrapper object copy is output to a data sink. Data sink information is recorded into a sink tracking object embedded in the wrapper object copy. The tracking objects are output as dynamic analysis of dataflow in the application program.

CLAIM OF PRIORITY

This application claims the benefit of U.S. Provisional Patent Application 61/737,425 entitled RUNTIME DATAFLOW TRACKING SUPPORT FOR TAINTED OBJECTS RESIDING IN ANOTHER UNTAINTED OBJECT, by Gluck, et al., filed Dec. 14, 2012, 2012 (Attorney Docket No. 1092 PROV), the entire contents of which are incorporated herein by reference.

COPYRIGHT NOTICE

A portion of the disclosure of this patent document contains material which is subject to copyright protection. The copyright owner has no objection to the facsimile reproduction by anyone of the patent document or the patent disclosure, as it appears in the Patent and Trademark Office patent file or records, but otherwise reserves all copyright rights whatsoever.

DYNAMIC ANALYSIS TRACKING OBJECT ASSOCIATIONS FOR APPLICATION DATAFLOW

One or more implementations relate generally to dynamic analysis tracking object associations for application dataflow.

BACKGROUND

The subject matter discussed in the background section should not be assumed to be prior art merely as a result of its mention in the background section. Similarly, a problem mentioned in the background section or associated with the subject matter of the background section should not be assumed to have been previously recognized in the prior art. The subject matter in the background section merely represents different approaches, which in and of themselves may also be inventions.

Vulnerabilities in an application program may be introduced by untrusted data flowing through the application program from an input to an output without the application program performing sufficient actions to prevent potential cyber-security attacks from occurring. For example, an application program may use a uniform resource locator (URL) to receive data that the application program subsequently outputs as data accessed by a web browser, but a web browser displaying a web page based on untrusted data may enable an attacker to gain elevated access-privileges to sensitive web page content. An input for untrusted data is referred to as a taint source, and the output for untrusted data is referred to as a taint sink. Static analysis that tests the security of an application program for vulnerabilities may produce a high rate of false positive results. Dynamic analysis has gained popularity due to the production of fewer false positive results. Therefore, if dynamic analysis identifies a vulnerability in an application program, the vulnerability is more likely to be an actual vulnerability, thereby justifying the expense of sufficient resources in an attempt to analyze the application program's associated dataflow to correct the vulnerability. Dynamic analysis typically identifies application program vulnerabilities such as cross site scripting (XSS) and SQL injection (SQLi).

While dynamic analysis is able to identify application program vulnerabilities by their data sources and data sinks, dynamic analysis does not keep track of the complete flow of data because of problems with recording any information in between the data source and the data sink. Without the information of how data flows in an application program, correcting vulnerabilities is difficult because identifying only a data source and a data sink does not provide any clear indication of the nature of any vulnerabilities between the data source and the data sink. Such difficulties become greater for large application programs, where manually searching source code to review the detailed data flow of possible vulnerabilities is extremely time consuming, and manually identifying the detailed data flow of actual vulnerabilities in the source code is nearly impossible. Additionally, an application program may have multiple possible paths, such as from the same data source to the same data sink. Since dynamic analysis can identify the same vulnerability many times, dynamic analysis typically executes a de-duplication process based on the information describing the vulnerability. Since only the data sources and data sinks are identified, the de-duplication process can mistakenly identify multiple different vulnerabilities that share the same data source and the same data sink as only a single vulnerability. Therefore, identifying all of the actual vulnerabilities becomes more difficult without identifying the specific dataflow between a data source and a data sink. Accordingly, it is desirable to provide techniques that enable a database system to improve the performance, efficiency, and the ease of use of dynamic analysis of dataflow in application programs.

BRIEF SUMMARY

U.S. patent application Ser. No. 14/067,131 filed Oct. 30, 2013, entitled “System and Method for Dynamic Analysis Tracking Objects for Application Dataflow”, which is hereby incorporated herein by reference, teaches creating tracking objects and copies of a data object to enable dynamic analysis to track different copies of the same data objects that take different paths in an application program, such as from the same data source to the same data sink.

However, this approach does not work with singleton or mutable data objects due to the lack of a clear way to copy such data objects. Data objects that are connected to a socket cannot be copied because only one data object is allocated to a socket. Some extremely large data objects may require too many system resources to copy. Even when a way exists to copy a complete data object, a database system has to maintain consistency between all of the copied data objects for the application program logic to function correctly. Maintaining such consistency may not be feasible from a resource point of view, because the database system may create hundreds or even thousands of copies of an original data object when an application invokes functions on numerous occasions. Performance degradation may result due to the central processing unit power and memory space required to create and store each copy of the original data object.

U.S. patent application Ser. No. 14/067,205 filed Oct. 30, 2013, entitled “System and Method for Dynamic Analysis Wrapper Objects for Application Dataflow”, which is hereby incorporated herein by reference, teaches solving such copying challenges by creating tracking objects and a wrapper object that points to a data object, substituting the wrapper object for each instance when the original data object is referenced, and creating copies of the wrapper object whenever a copy of the original data object would have been required. This copying process works with singleton and mutable data objects because only the wrapper object is copied, as the actual data objects are not copied. The use of multiple wrapper objects pointing to a single data object maintains consistency between all of the wrapper objects and all of the subsequent indirect references to the original data object because there is only a single copy of the original data object. The resources needed to copy and store the wrapper objects are slim as a wrapper object has only two fields, a reference to the actual data object and a tracking object. Only a few bytes are needed to store the wrapper object with the tracking object, and copying is not a resource extensive process anymore.

However, this approach does not work when a first object is assigned as a field of a second object because the information recorded for the second object is not associated with the information recorded for the first object. For example, if the wrapper object for a tainted object is assigned as a field on a previously untainted data object, and the custom object is used to invoke a method, the information for invoking the method is not tied to the tainted object. A system cannot solve this problem by copying the wrapper object for the second object because the first object only affects one field of the second object, not all fields of the second object, whereas the wrapper object points to the second object, which includes all fields of the second object. Differentiating between fields in the second object would require the system to make copies of the second object itself, instead of making copies of the wrapper object for the second object, but making copies of data objects would reintroduce the aforementioned problems that the substitution of wrapper objects for data objects was used to solve. The consequence is that if the second object is used to invoke any methods and later the first object is retrieved as a field from the second object and passed to a data sink, the information for any method invocations may not be depicted in the application program dataflow.

In accordance with embodiments, there are provided systems and methods for dynamic analysis tracking object associations for application dataflow. A system creates a wrapper object that points to a data object received from a data source, creates a source tracking object for the wrapper object, and records information associated with the data source into the source tracking object. For example, a system gets a parameter from an untrusted data source, stores the parameter as a tainted data object, creates a wrapper object that points to the tainted data object, creates a source tracking object, embeds the source tracking object in the tainted wrapper object, and records information about the tainted data source, and the location in an application program where the tainted data was collected, into the embedded source tracking object. The system creates a copy of the wrapper object for a tracking event in an application program, creates a flow tracking object for the tracking event, and records information associated with the tracking event into the flow tracking object as the tracking event processes the copy of the wrapper object. For example, the system creates a copy of the tainted wrapper object, which is assigned to a field of a custom object, creates a flow tracking object, embeds the flow tracking object in the copy of the tainted wrapper object, and records information about the field assignment, and the location in the application program where the field assignment occurred, into the embedded flow tracking object. The system creates another wrapper object for another tracking event in the application program, creates another flow tracking object for the other tracking event, and records information associated with the other tracking event into the other flow tracking object as the other tracking event processes the other wrapper object. For example, the system creates a wrapper object for the custom object, which is used to invoke a method, creates another flow tracking object, embeds the other flow tracking object in the wrapper object for the custom object, and records information about the invoked method into the other tracking object embedded into wrapper object for the custom object. The system associates the flow tracking object with the other flow tracking object in response to field retrieval of the copy of the wrapper object from the other wrapper object. For example, the system responds to a field retrieval of the copy of the tainted wrapper object retrieved from the custom object, by setting a pointer in the tracking object embedded in the copy of the tainted wrapper object to point to the tracking object embedded in the wrapper object for the custom object. The system outputs the copy of the wrapper object to a data sink for the application program, creates a sink tracking object for the data sink, and records information associated with the data sink into the sink tracking object. For example, the system prints the copy of the tainted wrapper object, creates a sink tracking object for the printing of the copy of the tainted wrapper object, and records information about the printing of the copy of the tainted wrapper object, and the location in the application program where the printing occurred, into the sink tracking object. The system outputs the source tracking object, the flow tracking object, the associated other flow tracking object, and the sink tracking object as dynamic analysis of dataflow in the application program. For example, the system outputs the sink tracking object as a first node in a graph, the flow tracking object as a second node in the graph, the associated other flow tracking object as a third node in the graph, and the sink tracking object as a fourth node in the graph, with the second node linked to the first node, the third node linked to the second node, and the fourth node linked to the third node to depict the dataflow sequence of the graph. The graph and its associated information depict not only the data source and the data sink, but also depict the dataflow through the application program, which enables the identification of any tracking event as an additional vulnerability. Accordingly, systems and methods are provided which enable a database system to improve the performance, efficiency, and the ease of use of dynamic analysis of dataflow in application programs.

While one or more implementations and techniques are described with reference to an embodiment in which dynamic analysis tracking object associations for application dataflow is implemented in a system having an application server providing a front end for an on-demand database service capable of supporting multiple tenants, the one or more implementations and techniques are not limited to multi-tenant databases nor deployment on application servers. Embodiments may be practiced using other database architectures, i.e., ORACLE®, DB2® by IBM and the like without departing from the scope of the embodiments claimed.

Any of the above embodiments may be used alone or together with one another in any combination. The one or more implementations encompassed within this specification may also include embodiments that are only partially mentioned or alluded to or are not mentioned or alluded to at all in this brief summary or in the abstract. Although various embodiments may have been motivated by various deficiencies with the prior art, which may be discussed or alluded to in one or more places in the specification, the embodiments do not necessarily address any of these deficiencies. In other words, different embodiments may address different deficiencies that may be discussed in the specification. Some embodiments may only partially address some deficiencies or just one deficiency that may be discussed in the specification, and some embodiments may not address any of these deficiencies.

BRIEF DESCRIPTION OF THE DRAWINGS

In the following drawings like reference numbers are used to refer to like elements. Although the following figures depict various examples, the one or more implementations are not limited to the examples depicted in the figures.

FIG. 1 is an operational flow diagram illustrating a high level overview of a method for dynamic analysis tracking object associations for application dataflow in an embodiment;

FIG. 2 is a block diagram of a portion of example application code and its associated dataflow graph for a dynamic analysis tracking object associations for application dataflow;

FIG. 3 illustrates a block diagram of an example of an environment wherein an on-demand database service might be used; and

FIG. 4 illustrates a block diagram of an embodiment of elements of FIG. 3 and various possible interconnections between these elements.

DETAILED DESCRIPTION General Overview

Systems and methods are provided for dynamic analysis tracking object associations for application dataflow.

As used herein, the term multi-tenant database system refers to those systems in which various elements of hardware and software of the database system may be shared by one or more customers. For example, a given application server may simultaneously process requests for a great number of customers, and a given database table may store rows for a potentially much greater number of customers. As used herein, the term query plan refers to a set of steps used to access information in a database system.

Next, mechanisms and methods for dynamic analysis tracking object associations for application dataflow will be described with reference to example embodiments.

The following detailed description will first describe a method for dynamic analysis tracking object associations for application dataflow.

Next, a block diagram of a portion of example application code and its associated dataflow graph for dynamic analysis tracking object associations for application dataflow is described.

FIG. 1 is an operational flow diagram illustrating a high level overview of a method 100 for dynamic analysis tracking object associations for application dataflow. As shown in FIG. 1, a database system can provide dynamic analysis of dataflow in application programs.

In block 102, a first wrapper object is created that points to a data object received from a data source. For example and without limitation, this can include the database system getting a parameter from an untrusted data source, storing the parameter as a tainted data object, and creating a wrapper object that points to the tainted data object. Although this example describes the application dataflow beginning with a tainted data source, the application dataflow may begin with any point of interest in the code, whether tainted or untainted. A data source can be arbitrary defined as a point in the code based on whatever logic is required. The database system changes references to the data object to references to the wrapper object instead, because the wrapper object will become the new data object with reference to the original data object and taint information. Below is an example pseudo code data structure for a wrapper object.

public class Wrapper{  private Object element  private Node node; }

In block 104, a source tracking object is created for a first wrapper object. By way of example and without limitation, this can include the database system creating a source tracking object for the tainted wrapper object. A tracking object may be referred to as a node object, as the tracking object may be subsequently represented by a node in a dataflow graph. Below is an example pseudo code data structure for a tracking object, which may be for a source tracking object, a flow tracking object, or a sink tracking object.

Public class Node {  private Node parents[ ];  private int datapoint;  private int taint_info;  private Node potential; }

The parents array attribute points to the parent nodes for the current node. The datapoint attribute stores location identifiers about where information associated with data is collected. Example location identifiers include filenames, line numbers, etc. However, instead of storing a string to represent a location identifier, the database system may create a hashmap with an integer as the key and a string as the value, and subsequently lookup the hashmap for the actual location of the location identifier, thereby conserving database system resources. The taint info attribute stores taint information related to the location associated with the tainted data, such as whether it is a data source, a data sink, a sanitization point, etc. A sanitization point is a location in an application program designed to replace potentially dangerous data with non-dangerous data, such as replacing hyper-text markup language (HTML) control characters. In order to efficiently concatenate the information carried by a tracking object for a first object and the tracking object for a second object that now includes the first object as a field, the database system does not have to copy the information from the tracking object for the second object to the tracking object for the first object. Instead the database system sets the “potential” pointer of the tracking object, or node, of the first object to point to the current tracking object, or node, of the second object during field retrieval events. When the first object reaches a data sink, the database system may use the “potential” pointer for the first object's node to retrieve the information from the second object's node(s), and concatenate the retrieved information with the information from the first object's node(s) to create a combined dataflow through the application program.

In block 106, a source tracking object is optionally connected with a first wrapper object. In embodiments, this can include the database system embedding the source tracking object in the tainted wrapper object, thereby enabling the tracking of tainted data and the associated dataflow as the wrapper object flows through the application program. Such a connection allows the database system to easily tie the tracking objects and their data flows together without having to create a separate out-of-band mechanism to do this. Additionally, as described below in reference to block 126, embedding a tracking object in a wrapper object leverages the garbage collector, such that when a tracking object is subsequently deleted, the tracking object's associated data flow information is removed as well, leaving the dataflow information for the tracking objects that are not deleted to represent the application dataflow.

In block 108, information associated with a data source is recorded into a source tracking object. For example and without limitation, this can include the database system recording information about whether the tainted data source was reflective or stored, and recording line number 1 in the application program where the tainted data was collected, in the embedded source tracking object. The database system may keep track of the context of the vulnerability, such as the nature of the potential vulnerability (based on the location/type of taint), whether a tainted wrapper object has been validated or sanitized, and what kind of validation, if any, has been done on the tainted wrapper object. Validation of a wrapper object is a verification that the wrapper object does not include tainted data. The database system may also keep track of the confidence level of the vulnerability, such as how confident the database system is to classify a dataflow into a specific level of vulnerability. For example, an application program may access tainted sources by reading various external files, with some of the files more trusted than the other files. Including a confidence level can help in defining how likely an identified dataflow is a real vulnerability. The database system may also include the capability of tracking method invocation on both the caller and the callee sides, which may help a system user to better understand the connection between the wrapper object used when calling the method and the wrapper object used within the called method. The database system may record the callee information at the reporting time, and not as the process normally flows. When reporting information after a data sink is reached, the database system can report two data points per function call, at the caller side and at the callee side.

In block 110, a copy of a first wrapper object is created for a first tracking event in an application program. By way of example and without limitation, this can include the database system creating a copy of the tainted wrapper object for assignment of the tainted wrapper object as a field of a custom object. Creating a copy of the wrapper object enables dynamic analysis to track different copies of the same wrapper object that take different paths in the application program, such as from the same data source to the same data sink. Creating a copy of the wrapper object is also necessary to prune the dataflow graph to remove irrelevant dataflow information, as discussed below in reference to block 126. Creating a copy of the wrapper object may eliminate false positives and false negatives, because every data flow path is treated independently with its privately copied wrapper objects, such that any changes to the degree of taintedness of the tainted wrapper object in one dataflow path will not be reflected by the degree of taintedness of the tainted wrapper object in another dataflow path.

When copying the wrapper object, the database system essentially creates a new wrapper object, whose “element” field will be pointing to the same original data object to which the previously created wrapper object points. Later, a new tracking object is created and embedded into the new wrapper object, with the tracking object containing any new information about the data. Copying the wrapper object, which may be referred to as “splitting the wrapper,” works with singleton and mutable data objects because the actual data objects are not copied. Only the wrapper object is copied, with different tracking objects assigned to record information. The data object consistency is automatically maintained because there is only a single copy of the data object. The resources needed to copy and store the wrapper objects are slim because a wrapper object has only two fields, a reference to the actual data object and a tracking object. Only a few bytes are needed to store the wrapper object with the tracking object, and copying is not a resource extensive process anymore. An example of pseudo-code for copying a wrapper object is provided below.

public static Wrapper split(Wrapper parent) {  Wrapper child= new Wrapper( );  child.element = parent.element; // Create a new Node and assign fields to it child.node = new Node( ); child.node.datapoint = hash_lookup( current_file_name + current_line_no); child.node.parent.insert(parent.node); child.node.taint_info = calc_taint_info(parent.node.taint_info); return child; }

In block 112, a first flow tracking object is created for a first tracking event. In embodiments, this can include the database system creating a flow tracking object for a tracking event, such as assigning a copy of the tainted wrapper object to a field of a custom object. When the application program assigns an object or a value to an object, the database system records information about this assignment in the flow tracking object, thereby enabling the database system to track wrapper objects as they are passed by assignments. As the tracking objects record information for tracking events, the database system associates the tracking objects together to enable the creation of a complete graph that depicts how data flows in the application program. The database system associates the tracking objects together by having each new tracking object, which represents a new location in the data flow, point to the previous tracking object in the dataflow, such as by having the flow tracking object point to the source tracking object.

In some cases, a single tracking object can have multiple parents, since multiple objects can propagate into a single object. For example, when multiple strings objects are concatenated, the output is a single data object that has multiple parents, and each of these parents tracks the dataflow to the source in which the data object was introduced.

In block 114, a first flow tracking object is optionally connected with a copy of a first wrapper object. For example and without limitation, this can include the database system embedding the flow tracking object in the copy of the tainted wrapper object, thereby enabling the tracking of the tainted wrapper object and the associated dataflow as the tainted wrapper object flows through the application program. Such a connection allows the database system to easily tie the tracking objects and their data flows together without having to create a separate out-of-band mechanism to do this.

In block 116, information associated with a first tracking event is recorded into a first flow tracking object as the first tracking event processes a copy of a first wrapper object. By way of example and without limitation, this can include the database system recording information about the field assignment of the tainted wrapper object, and the line number 3 in the application program where the field was assigned to the previously untainted custom object, into the embedded flow tracking object.

In block 118, a copy of a second wrapper object is created for a second tracking event in an application program. In embodiments, this can include the database system creating a wrapper object for the invocation of a method that uses the previously untainted custom object which had a field assigned using the tainted wrapper object. Creating a copy of the second wrapper object enables the dynamic analysis to track different copies of the same wrapper object that take different paths in the application program. Although FIG. 1 describes an example of an application program that includes four tracking events (source, field assignment, method, and field retrieval for a sink), an application program may include fewer or a greater number of tracking events.

In block 120, a second flow tracking object is created for a second tracking event. For example and without limitation, this can include the database system creating a flow tracking object for the method invocation using the previously untainted data object. When the application program invokes a method, the database system may record an identifier of the method, the method arguments, and any instance object, into the flow tracking object, thereby enabling the database system to track wrapper objects for method invocations that use the wrapper objects as arguments. Similarly, the database system can record information for any other type of tracking event, such as field accesses, stores, array access, etc. As the tracking objects record information for tracking events, the database system associates the tracking objects together to enable the creation of a complete graph that depicts how data flows in the application program. The database system associates the tracking objects together by having each new tracking object, which represents a new location in the data flow, point to the previous tracking object in the dataflow. However, in this example the second tracking object does not point to the first tracking object because the second tracking object records information for the previously untainted custom object while the first tracking object records information for the tainted string “s,” which is currently not directly related to the previously untainted custom object.

In block 122, a second flow tracking object is optionally connected with a second wrapper object. By way of example and without limitation, this can include the database system embedding the other flow tracking object in the copy of the wrapper object for the previously untainted custom object. Such a connection allows the database system to easily tie tracking objects and their data flows together without having to create a separate out-of-band mechanism to do this.

In block 124, information associated with a second tracking event is recorded into a second flow tracking object as a second tracking event processes a second wrapper object. In embodiments, this can include the database system recording information about the invoked method, and the line number 4 in the application program where the method was invoked, into the embedded flow tracking object for the previously untainted custom object.

In block 126, a first flow tracking object is associated with a second flow tracking object in response to a field retrieval of a copy of a first wrapper object from a second wrapper object. For example and without limitation, this can include the database system responding to the field retrieval of the copy of the tainted wrapper object retrieved from the previously untainted custom object, by setting the “potential” pointer in the tracking object embedded in the copy of the tainted wrapper object to point to the tracking object embedded in the wrapper object for the previously untainted custom object.

When the database system determines which tracking objects will point to other tracking objects, the database system may also delete any out of scope tracking object when an application program lacks a subsequent reference to a wrapper object that embeds the out of scope tracking object. For example, this can include the database system deleting a flow tracking object when the application program lacks any subsequent references to the corresponding copy of the tainted wrapper object. In this instance, the garbage collector deletes a copy of the wrapper object because subsequent lines in the application program do not reference the copy of the wrapper object, which means that the copy of the wrapper object does not have any impact on the final vulnerability and the application program's dataflow. This enables the database system to prune the dataflow graph to remove the dataflow associated with the copy of the wrapper object as irrelevant.

In block 128, a copy of a first wrapper object is output to a data sink for an application program. By way of example and without limitation, this can include the database system executing a field retrieval of the copy of the tainted wrapper object from the previously untainted data object, and printing the copy of the tainted wrapper object. Although this example describes the application dataflow ending with a data sink, the application dataflow may end with any point of interest in the code. A data sink can be arbitrary defined as a point in the code based on whatever logic is required.

In block 130, a sink tracking object is created for a data sink. In embodiments, this can include the database system creating a sink tracking object for the printing of the copy of the tainted wrapper object.

In block 132, a sink tracking object is optionally connected with a copy of a first wrapper object. For example and without limitation, this can include the database system embedding the sink tracking object into the copy of the tainted wrapper object. Such a connection allows the database system to easily tie the tracking objects and their data flows together without having to create a separate out-of-band mechanism to do this.

In block 134, information associated with a data sink is recorded into a sink tracking object. By way of example and without limitation, this can include the database system recording information about the data sink, and the line number 5 in the application program where the printing occurred, into the sink tracking object.

In block 136, a source tracking object, a first flow tracking object, an associated second flow tracking object, and a sink tracking object are output as dynamic analysis of dataflow in an application program. In embodiments, this can include the database system outputting the source tracking object as a first node in a graph, the first flow tracking object as a second node in the graph, the associated second flow tracking object as a third node in the graph, and the sink tracking object as a fourth node in the graph, with the second node linked to the first node, the third node linked to the second node, and the fourth node linked to the third node to depict the dataflow sequence of the graph. By associating the second flow tracking object, which recorded information for the previously untainted custom object, with the first flow tracking object, which recorded information for the tainted object, the database system concatenates previously unrelated information to create a complete dataflow for the tainted data. Each node in the graph represents a location in the flow of a wrapper object through the application program. As the wrapper objects flowed through the application program, the database system collected information and recorded the information in the tracking objects associated with these nodes. The collection of this information and nodes represents the data flow of a single wrapper object through the nodes being linked together to construct a graphic representation of the dataflow in the application program. The graph and its associated information depict not only the data source and the data sink, but also depict the dataflow through the application program, which enables the identification of any tracking event as an additional vulnerability.

Accordingly, systems and methods are provided which enable a database system to improve the performance, efficiency, and the ease of use of dynamic analysis of dataflow in application programs. The method 100 may be repeated as desired. Although this disclosure describes the blocks 102-136 executing in a particular order, the blocks 102-136 may be executed in a different order.

FIG. 2 is a block diagram of a portion of example application code and its associated dataflow graph for dynamic analysis tracking object associations for application dataflow in an embodiment. The block includes a portion of example application code 200, which includes an application code column 202 and a code line number column 204. The block diagram of a portion of example application code and its associated dataflow graph includes also includes a dataflow graph 206.

In the portion of example application code 202, an application program gets a tainted string “s” from the request in line 1, creates a custom object “co” in line 2, assigns the tainted string “s” to a field “x” in the previously untainted custom object “co” in line 3, calls a function “fl” with the previously untainted custom object “co” in line 4, and retrieves the field “x” from the previously untainted custom object “co” for printing in line 5. The database system creates new tracking objects during the tracking events, such as getting the parameter “s,” assigning the string “s” to the field “x” of the previously untainted custom object “co,” calling the function “fl,” and printing the field “x,” with previously created tracking objects for a specific data object becoming the parents of subsequently created tracking objects for the specific data object. The taint information is stored in a hierarchical way, in which the dataflow is represented by chaining a series of tracking objects that were created along the tracking events through which that the tainted wrapper object flows.

The dataflow graph 206 may evolve based on the following steps. When the application program gets the tainted string “s” from the request in line 1, the database system creates a tracking object 1 208 to record information about getting the tainted sting “s.” After the application program assigns the tainted string “s” to the field “x” of the previously untainted custom object “co” in line 3, the database system creates a tracking object 3 210 to record information about the field assignment, and points the tracking object 3 210 to the tracking object 1 208 via the pointer 212. When the application program calls the function “fl” in line 4, the database system creates a tracking object 4 214, but does not point the tracking object 4 214 to the tracking object 3 210 because the tracking object 4 214 records information for the previously untainted custom object “co,” whereas the tracking object 3 210 records information for the tainted string “s.” When the application program retrieves and prints the field “x” in line 5, the database system creates a tracking object 5 216 to record information about the data sink, and points the tracking object 5 216 to the tracking object 3 210 via a pointer 218. Based on the preceding, the database system may indicate that the detected dataflow is {1, 3, 5}.

However, this is incorrect because the ideal dataflow graph for the portion of example application code 202 is {1, 3, 4, 5}. This ideal dataflow indicates where the tainted data was introduced in line 1, how the tainted data flowed in the application program, such as being assigned to a field “x” of the previously untainted custom object “co” in line 3, and eventually reached the data sink in line 5. The database system should also indicate any relevant events, such as calling the function “fl” with the previously untainted custom object “co” in line 4, which may impact on the final vulnerability and its dataflow.

In order to correct the dataflow {1, 3, 5}, the database system has to add the tracking object 4 214, which enables the reporting of the corresponding node as part of the dataflow graph 206. The reason is that the tracking object 4 214 records information related to the previously untainted custom object “co,” which initially does not appear to be related to the information recorded for the custom string “s.” Since the database system already records information for the tainted string “s” and the previously untainted custom object “co,” the database system may need to concatenate the taint propagation of the string “s” with that of the previously untainted custom object “co” so that when the tainted data reaches a data sink, the database system may output the complete dataflow {1, 3, 4, 5}. The database system identifies a field retrieval as the operation that indicates when the potential dataflow for the previously untainted custom object “co” is concatenated with the dataflow for the tainted string “s.” Therefore, when the application program retrieves the tainted string “s” from the field “x” of the previously untainted custom object “co” for printing in line 5, the database system adds the “potential” pointer 220 to point from the tracking object 5 216 to the most recent tracking object for the previously untainted custom object “co,” which is the tracking object 4 214 in this example. Hence, when the application program reaches the data sink in line 5, the dataflow 206 is based on the lines {1, 3, 4, 5}, which is reported as the vulnerability path because the tainted string “s” may not have been sanitized during the function call in line 4. The database system enables adding the taint information from all tracking objects, even the tracking objects which do not initially appear to be directly related to the tainted data. Whenever a tainted wrapper object reaches a data sink, the database system may climb up the tracking object tree associated with the data sink to determine if the associated dataflow represents a vulnerability.

Although the application code 200 and the dataflow graph 206 depict simplified examples of dynamic analysis tracking object associations for application program dataflow, the code 200 and the graph 206 may depict more complex dataflows. For example, if the code 200 included multiple function calls using the previously untainted custom object “co,” the graph 206 would include multiple linked nodes depicting the dataflow for the previously untainted custom object “co,” with the potential” pointer 220 pointing to the tracking object that records information for the most recently called function. In another example, the application program may get another tainted string “y” and assign the tainted string “y” as another field of the previously untainted custom object “co,” such that the database system creates a linked node sequences for the tainted string “s,” creates a linked node sequences for the tainted string “y,” and creates a linked node sequences for the previously untainted custom object “co.” In this example, the database system creates one “potential” pointer pointing from the node for the data sink for the string “s” to the most recent node for the previously untainted custom object “co” before the application program reached the data sink for the string “s,” and another “potential” pointer pointing from the node for the data sink for the string “y” to the most recent node for the previously untainted custom object “co” before the application program reached the data sink for the string “y.” In yet another example, the code 200 may include nested objects, where the tainted string “s” is embedded deeply into other previously untainted objects, and the graph 206 reflects such deep embedding accordingly.

The database system provides the graph 206 by concatenating the complete dataflow of a tainted object and the complete data flow of a previously untainted object that receives a field assignment of the tainted object, thereby providing a system user with sufficient information about the creation of the previously untainted object, when the tainted object was retrieved, when the tainted object was assigned as a field of the previously untainted object, and how the tainted object flows within the previously untainted object. In case the information about the previously untainted object prior to the field assignment of the tainted object is not needed for analysis of vulnerabilities, the database system may add a “taint assignment” field to the tracking object, or node object, to record when the tainted object was assigned as a field of the previously untainted object. Using the “taint assignment” field, the database system may remove the nodes from the graph 206 that correspond to information recorded prior to the taint assignment, thereby making the graph 206 more concise.

System Overview

FIG. 3 illustrates a block diagram of an environment 310 wherein an on-demand database service might be used. Environment 310 may include user systems 312, network 314, system 316, processor system 317, application platform 318, network interface 320, tenant data storage 322, system data storage 324, program code 326, and process space 328. In other embodiments, environment 310 may not have all of the components listed and/or may have other elements instead of, or in addition to, those listed above.

Environment 310 is an environment in which an on-demand database service exists. User system 312 may be any machine or system that is used by a user to access a database user system. For example, any of user systems 312 can be a handheld computing device, a mobile phone, a laptop computer, a work station, and/or a network of computing devices. As illustrated in FIG. 3 (and in more detail in FIG. 4) user systems 312 might interact via a network 314 with an on-demand database service, which is system 316.

An on-demand database service, such as system 316, is a database system that is made available to outside users that do not need to necessarily be concerned with building and/or maintaining the database system, but instead may be available for their use when the users need the database system (e.g., on the demand of the users). Some on-demand database services may store information from one or more tenants stored into tables of a common database image to form a multi-tenant database system (MTS). Accordingly, “on-demand database service 316” and “system 316” will be used interchangeably herein. A database image may include one or more database objects. A relational database management system (RDMS) or the equivalent may execute storage and retrieval of information against the database object(s). Application platform 318 may be a framework that allows the applications of system 316 to run, such as the hardware and/or software, e.g., the operating system. In an embodiment, on-demand database service 316 may include an application platform 318 that enables creation, managing and executing one or more applications developed by the provider of the on-demand database service, users accessing the on-demand database service via user systems 312, or third party application developers accessing the on-demand database service via user systems 312.

The users of user systems 312 may differ in their respective capacities, and the capacity of a particular user system 312 might be entirely determined by permissions (permission levels) for the current user. For example, where a salesperson is using a particular user system 312 to interact with system 316, that user system has the capacities allotted to that salesperson. However, while an administrator is using that user system to interact with system 316, that user system has the capacities allotted to that administrator. In systems with a hierarchical role model, users at one permission level may have access to applications, data, and database information accessible by a lower permission level user, but may not have access to certain applications, database information, and data accessible by a user at a higher permission level. Thus, different users will have different capabilities with regard to accessing and modifying application and database information, depending on a user's security or permission level.

Network 314 is any network or combination of networks of devices that communicate with one another. For example, network 314 can be any one or any combination of a LAN (local area network), WAN (wide area network), telephone network, wireless network, point-to-point network, star network, token ring network, hub network, or other appropriate configuration. As the most common type of computer network in current use is a TCP/IP (Transfer Control Protocol and Internet Protocol) network, such as the global internetwork of networks often referred to as the “Internet” with a capital “I,” that network will be used in many of the examples herein. However, it should be understood that the networks that the one or more implementations might use are not so limited, although TCP/IP is a frequently implemented protocol.

User systems 312 might communicate with system 316 using TCP/IP and, at a higher network level, use other common Internet protocols to communicate, such as HTTP, FTP, AFS, WAP, etc. In an example where HTTP is used, user system 312 might include an HTTP client commonly referred to as a “browser” for sending and receiving HTTP messages to and from an HTTP server at system 316. Such an HTTP server might be implemented as the sole network interface between system 316 and network 314, but other techniques might be used as well or instead. In some implementations, the interface between system 316 and network 314 includes load sharing functionality, such as round-robin HTTP request distributors to balance loads and distribute incoming HTTP requests evenly over a plurality of servers. At least as for the users that are accessing that server, each of the plurality of servers has access to the MTS' data; however, other alternative configurations may be used instead.

In one embodiment, system 316, shown in FIG. 3, implements a web-based customer relationship management (CRM) system. For example, in one embodiment, system 316 includes application servers configured to implement and execute CRM software applications as well as provide related data, code, forms, webpages and other information to and from user systems 312 and to store to, and retrieve from, a database system related data, objects, and Webpage content. With a multi-tenant system, data for multiple tenants may be stored in the same physical database object, however, tenant data typically is arranged so that data of one tenant is kept logically separate from that of other tenants so that one tenant does not have access to another tenant's data, unless such data is expressly shared. In certain embodiments, system 316 implements applications other than, or in addition to, a CRM application. For example, system 316 may provide tenant access to multiple hosted (standard and custom) applications, including a CRM application. User (or third party developer) applications, which may or may not include CRM, may be supported by the application platform 318, which manages creation, storage of the applications into one or more database objects and executing of the applications in a virtual machine in the process space of the system 316.

One arrangement for elements of system 316 is shown in FIG. 3, including a network interface 320, application platform 318, tenant data storage 322 for tenant data 323, system data storage 324 for system data 325 accessible to system 316 and possibly multiple tenants, program code 326 for implementing various functions of system 316, and a process space 328 for executing MTS system processes and tenant-specific processes, such as running applications as part of an application hosting service. Additional processes that may execute on system 316 include database indexing processes.

Several elements in the system shown in FIG. 3 include conventional, well-known elements that are explained only briefly here. For example, each user system 312 could include a desktop personal computer, workstation, laptop, PDA, cell phone, or any wireless access protocol (WAP) enabled device or any other computing device capable of interfacing directly or indirectly to the Internet or other network connection. User system 312 typically runs an HTTP client, e.g., a browsing program, such as Microsoft's Internet Explorer browser, Netscape's Navigator browser, Opera's browser, or a WAP-enabled browser in the case of a cell phone, PDA or other wireless device, or the like, allowing a user (e.g., subscriber of the multi-tenant database system) of user system 312 to access, process and view information, pages and applications available to it from system 316 over network 314. Each user system 312 also typically includes one or more user interface devices, such as a keyboard, a mouse, trackball, touch pad, touch screen, pen or the like, for interacting with a graphical user interface (GUI) provided by the browser on a display (e.g., a monitor screen, LCD display, etc.) in conjunction with pages, forms, applications and other information provided by system 316 or other systems or servers. For example, the user interface device can be used to access data and applications hosted by system 316, and to perform searches on stored data, and otherwise allow a user to interact with various GUI pages that may be presented to a user. As discussed above, embodiments are suitable for use with the Internet, which refers to a specific global internetwork of networks. However, it should be understood that other networks can be used instead of the Internet, such as an intranet, an extranet, a virtual private network (VPN), a non-TCP/IP based network, any LAN or WAN or the like.

According to one embodiment, each user system 312 and all of its components are operator configurable using applications, such as a browser, including computer code run using a central processing unit such as an Intel Pentium® processor or the like. Similarly, system 316 (and additional instances of an MTS, where more than one is present) and all of their components might be operator configurable using application(s) including computer code to run using a central processing unit such as processor system 317, which may include an Intel Pentium® processor or the like, and/or multiple processor units. A computer program product embodiment includes a machine-readable storage medium (media) having instructions stored thereon/in which can be used to program a computer to perform any of the processes of the embodiments described herein. Computer code for operating and configuring system 316 to intercommunicate and to process webpages, applications and other data and media content as described herein are preferably downloaded and stored on a hard disk, but the entire program code, or portions thereof, may also be stored in any other volatile or non-volatile memory medium or device as is well known, such as a ROM or RAM, or provided on any media capable of storing program code, such as any type of rotating media including floppy disks, optical discs, digital versatile disk (DVD), compact disk (CD), microdrive, and magneto-optical disks, and magnetic or optical cards, nanosystems (including molecular memory ICs), or any type of media or device suitable for storing instructions and/or data. Additionally, the entire program code, or portions thereof, may be transmitted and downloaded from a software source over a transmission medium, e.g., over the Internet, or from another server, as is well known, or transmitted over any other conventional network connection as is well known (e.g., extranet, VPN, LAN, etc.) using any communication medium and protocols (e.g., TCP/IP, HTTP, HTTPS, Ethernet, etc.) as are well known. It will also be appreciated that computer code for implementing embodiments can be implemented in any programming language that can be executed on a client system and/or server or server system such as, for example, C, C++, HTML, any other markup language, Java™, JavaScript, ActiveX, any other scripting language, such as VBScript, and many other programming languages as are well known may be used. (Java™ is a trademark of Sun Microsystems, Inc.).

According to one embodiment, each system 316 is configured to provide webpages, forms, applications, data and media content to user (client) systems 312 to support the access by user systems 312 as tenants of system 316. As such, system 316 provides security mechanisms to keep each tenant's data separate unless the data is shared. If more than one MTS is used, they may be located in close proximity to one another (e.g., in a server farm located in a single building or campus), or they may be distributed at locations remote from one another (e.g., one or more servers located in city A and one or more servers located in city B). As used herein, each MTS could include one or more logically and/or physically connected servers distributed locally or across one or more geographic locations. Additionally, the term “server” is meant to include a computer system, including processing hardware and process space(s), and an associated storage system and database application (e.g., OODBMS or RDBMS) as is well known in the art. It should also be understood that “server system” and “server” are often used interchangeably herein. Similarly, the database object described herein can be implemented as single databases, a distributed database, a collection of distributed databases, a database with redundant online or offline backups or other redundancies, etc., and might include a distributed database or storage network and associated processing intelligence.

FIG. 4 also illustrates environment 310. However, in FIG. 4 elements of system 316 and various interconnections in an embodiment are further illustrated. FIG. 4 shows that user system 312 may include processor system 312A, memory system 312B, input system 312C, and output system 312D. FIG. 4 shows network 314 and system 316. FIG. 4 also shows that system 316 may include tenant data storage 322, tenant data 323, system data storage 324, system data 325, User Interface (UI) 430, Application Program Interface (API) 432, PL/SOQL 434, save routines 436, application setup mechanism 438, applications servers 400 ₁-400 _(N), system process space 402, tenant process spaces 404, tenant management process space 410, tenant storage area 412, user storage 414, and application metadata 416. In other embodiments, environment 310 may not have the same elements as those listed above and/or may have other elements instead of, or in addition to, those listed above.

User system 312, network 314, system 316, tenant data storage 322, and system data storage 324 were discussed above in FIG. 3. Regarding user system 312, processor system 312A may be any combination of one or more processors. Memory system 312B may be any combination of one or more memory devices, short term, and/or long term memory. Input system 312C may be any combination of input devices, such as one or more keyboards, mice, trackballs, scanners, cameras, and/or interfaces to networks. Output system 312D may be any combination of output devices, such as one or more monitors, printers, and/or interfaces to networks. As shown by FIG. 4, system 316 may include a network interface 320 (of FIG. 3) implemented as a set of HTTP application servers 400, an application platform 318, tenant data storage 322, and system data storage 324. Also shown is system process space 402, including individual tenant process spaces 404 and a tenant management process space 410. Each application server 400 may be configured to tenant data storage 322 and the tenant data 323 therein, and system data storage 324 and the system data 325 therein to serve requests of user systems 312. The tenant data 323 might be divided into individual tenant storage areas 412, which can be either a physical arrangement and/or a logical arrangement of data. Within each tenant storage area 412, user storage 414 and application metadata 416 might be similarly allocated for each user. For example, a copy of a user's most recently used (MRU) items might be stored to user storage 414. Similarly, a copy of MRU items for an entire organization that is a tenant might be stored to tenant storage area 412. A UI 430 provides a user interface and an API 432 provides an application programmer interface to system 316 resident processes to users and/or developers at user systems 312. The tenant data and the system data may be stored in various databases, such as one or more Oracle™ databases.

Application platform 318 includes an application setup mechanism 438 that supports application developers' creation and management of applications, which may be saved as metadata into tenant data storage 322 by save routines 436 for execution by subscribers as one or more tenant process spaces 404 managed by tenant management process 410 for example. Invocations to such applications may be coded using PL/SOQL 34 that provides a programming language style interface extension to API 432. A detailed description of some PL/SOQL language embodiments is discussed in commonly owned U.S. Pat. No. 7,730,478 entitled, METHOD AND SYSTEM FOR ALLOWING ACCESS TO DEVELOPED APPLICATIONS VIA A MULTI-TENANT ON-DEMAND DATABASE SERVICE, by Craig Weissman, filed Sep. 21, 2007, which is incorporated in its entirety herein for all purposes. Invocations to applications may be detected by one or more system processes, which manages retrieving application metadata 416 for the subscriber making the invocation and executing the metadata as an application in a virtual machine.

Each application server 400 may be communicably coupled to database systems, e.g., having access to system data 325 and tenant data 323, via a different network connection. For example, one application server 400 ₁ might be coupled via the network 314 (e.g., the Internet), another application server 400 _(N-1) might be coupled via a direct network link, and another application server 400 _(N) might be coupled by yet a different network connection. Transfer Control Protocol and Internet Protocol (TCP/IP) are typical protocols for communicating between application servers 400 and the database system. However, it will be apparent to one skilled in the art that other transport protocols may be used to optimize the system depending on the network interconnect used.

In certain embodiments, each application server 400 is configured to handle requests for any user associated with any organization that is a tenant. Because it is desirable to be able to add and remove application servers from the server pool at any time for any reason, there is preferably no server affinity for a user and/or organization to a specific application server 400. In one embodiment, therefore, an interface system implementing a load balancing function (e.g., an F5 Big-IP load balancer) is communicably coupled between the application servers 400 and the user systems 312 to distribute requests to the application servers 400. In one embodiment, the load balancer uses a least connections algorithm to route user requests to the application servers 400. Other examples of load balancing algorithms, such as round robin and observed response time, also can be used. For example, in certain embodiments, three consecutive requests from the same user could hit three different application servers 400, and three requests from different users could hit the same application server 400. In this manner, system 316 is multi-tenant, wherein system 316 handles storage of, and access to, different objects, data and applications across disparate users and organizations.

As an example of storage, one tenant might be a company that employs a sales force where each salesperson uses system 316 to manage their sales process. Thus, a user might maintain contact data, leads data, customer follow-up data, performance data, goals and progress data, etc., all applicable to that user's personal sales process (e.g., in tenant data storage 322). In an example of a MTS arrangement, since all of the data and the applications to access, view, modify, report, transmit, calculate, etc., can be maintained and accessed by a user system having nothing more than network access, the user can manage his or her sales efforts and cycles from any of many different user systems. For example, if a salesperson is visiting a customer and the customer has Internet access in their lobby, the salesperson can obtain critical updates as to that customer while waiting for the customer to arrive in the lobby.

While each user's data might be separate from other users' data regardless of the employers of each user, some data might be organization-wide data shared or accessible by a plurality of users or all of the users for a given organization that is a tenant. Thus, there might be some data structures managed by system 316 that are allocated at the tenant level while other data structures might be managed at the user level. Because an MTS might support multiple tenants including possible competitors, the MTS should have security protocols that keep data, applications, and application use separate. Also, because many tenants may opt for access to an MTS rather than maintain their own system, redundancy, up-time, and backup are additional functions that may be implemented in the MTS. In addition to user-specific data and tenant specific data, system 316 might also maintain system level data usable by multiple tenants or other data. Such system level data might include industry reports, news, postings, and the like that are sharable among tenants.

In certain embodiments, user systems 312 (which may be client systems) communicate with application servers 400 to request and update system-level and tenant-level data from system 316 that may require sending one or more queries to tenant data storage 322 and/or system data storage 324. System 316 (e.g., an application server 400 in system 316) automatically generates one or more SQL statements (e.g., one or more SQL queries) that are designed to access the desired information. System data storage 324 may generate query plans to access the requested data from the database.

Each database can generally be viewed as a collection of objects, such as a set of logical tables, containing data fitted into predefined categories. A “table” is one representation of a data object, and may be used herein to simplify the conceptual description of objects and custom objects. It should be understood that “table” and “object” may be used interchangeably herein. Each table generally contains one or more data categories logically arranged as columns or fields in a viewable schema. Each row or record of a table contains an instance of data for each category defined by the fields. For example, a CRM database may include a table that describes a customer with fields for basic contact information such as name, address, phone number, fax number, etc. Another table might describe a purchase order, including fields for information such as customer, product, sale price, date, etc. In some multi-tenant database systems, standard entity tables might be provided for use by all tenants. For CRM database applications, such standard entities might include tables for Account, Contact, Lead, and Opportunity data, each containing pre-defined fields. It should be understood that the word “entity” may also be used interchangeably herein with “object” and “table”.

In some multi-tenant database systems, tenants may be allowed to create and store custom objects, or they may be allowed to customize standard entities or objects, for example by creating custom fields for standard objects, including custom index fields. U.S. Pat. No. 7,779,039, filed Apr. 2, 2004, entitled “Custom Entities and Fields in a Multi-Tenant Database System”, which is hereby incorporated herein by reference, teaches systems and methods for creating custom objects as well as customizing standard objects in a multi-tenant database system. In certain embodiments, for example, all custom entity data rows are stored in a single multi-tenant physical table, which may contain multiple logical tables per organization. It is transparent to customers that their multiple “tables” are in fact stored in one large table or that their data may be stored in the same table as the data of other customers.

While one or more implementations have been described by way of example and in terms of the specific embodiments, it is to be understood that one or more implementations are not limited to the disclosed embodiments. To the contrary, it is intended to cover various modifications and similar arrangements as would be apparent to those skilled in the art. Therefore, the scope of the appended claims should be accorded the broadest interpretation so as to encompass all such modifications and similar arrangements. 

1. An apparatus for dynamic analysis tracking object associations for application dataflow, the apparatus comprising: a processor; and one or more stored sequences of instructions which, when executed by the processor, cause the processor to carry out the steps of: creating a first wrapper object that points to a data object received from a data source; creating a source tracking object for the first wrapper object; recording information associated with the data source into the source tracking object; creating a copy of the first wrapper object for a first tracking event in an application program; creating a first flow tracking object for the first tracking event; recording information associated with the first tracking event into the first flow tracking object as the first tracking event processes the copy of the first wrapper object; creating a second wrapper object for a second tracking event in the application program; creating a second flow tracking object for the second tracking event; recording information associated with the second tracking event into the second flow tracking object as the second tracking event processes the second wrapper object; associating the first flow tracking object with the second flow tracking object in response to a field retrieval of the copy of the first wrapper object from the second wrapper object; outputting the copy of the first wrapper object to a data sink for the application program; creating a sink tracking object for the data sink; recording information associated with the data sink into the sink tracking object; and outputting the source tracking object, the first flow tracking object, the associated second flow tracking object, and the sink tracking object as dynamic analysis of dataflow in the application program.
 2. The apparatus of claim 1, wherein the steps further comprise: connecting the source tracking object with the first wrapper object; connecting the first flow tracking object with the copy of the first wrapper object; connecting the second flow tracking object with the second wrapper object; and connecting the sink tracking object with the copy of the first wrapper object.
 3. The apparatus of claim 1, wherein the first tracking event comprises a field assignment of the copy of the first wrapper object to a field of the second wrapper object.
 4. The apparatus of claim 1, wherein outputting the source tracking object, the first flow tracking object, the associated second flow tracking object, and the sink tracking object comprises outputting the sink tracking object as a first node in a graph, the first flow tracking object as a second node in the graph, the associated second flow tracking object as a third node in the graph, and the sink tracking object as a fourth node in the graph, wherein the second node is linked to the first node, the third node is linked to the second node, and the fourth node is linked to the third node to depict the dataflow sequence of the graph.
 5. The apparatus of claim 1, wherein the steps further comprise deleting an out of scope flow tracking object when the application program lacks a subsequent reference to a wrapper object associated with the out of scope flow tracking object.
 6. A machine-readable medium carrying one or more sequences of instructions for dynamic analysis tracking object associations for application dataflow, which instructions, when executed by one or more processors, cause the one or more processors to carry out the steps of: creating a first wrapper object that points to a data object received from a data source; creating a source tracking object for the first wrapper object; recording information associated with the data source into the source tracking object; creating a copy of the first wrapper object for a first tracking event in an application program; creating a first flow tracking object for the first tracking event; recording information associated with the first tracking event into the first flow tracking object as the first tracking event processes the copy of the first wrapper object; creating a second wrapper object for a second tracking event in the application program; creating a second flow tracking object for the second tracking event; recording information associated with the second tracking event into the second flow tracking object as the second tracking event processes the second wrapper object; associating the first flow tracking object with the second flow tracking object in response to a field retrieval of the copy of the first wrapper object from the second wrapper object; outputting the copy of the first wrapper object to a data sink for the application program; creating a sink tracking object for the data sink; recording information associated with the data sink into the sink tracking object; and outputting the source tracking object, the first flow tracking object, the associated second flow tracking object, and the sink tracking object as dynamic analysis of dataflow in the application program.
 7. The machine-readable medium of claim 6, wherein the steps further comprise: connecting the source tracking object with the first wrapper object; connecting the first flow tracking object with the copy of the first wrapper object; connecting the second flow tracking object with the second wrapper object; and connecting the sink tracking object with the copy of the first wrapper object.
 8. The machine-readable medium of claim 6, wherein the first tracking event comprises a field assignment of the copy of the first wrapper object to a field of the second wrapper object.
 9. The machine-readable medium of claim 6, wherein outputting the source tracking object, the first flow tracking object, the associated second flow tracking object, and the sink tracking object comprises outputting the sink tracking object as a first node in a graph, the first flow tracking object as a second node in the graph, the associated second flow tracking object as a third node in the graph, and the sink tracking object as a fourth node in the graph, wherein the second node is linked to the first node, the third node is linked to the second node, and the fourth node is linked to the third node to depict the dataflow sequence of the graph.
 10. The machine-readable medium of claim 6, wherein the steps further comprise deleting an out of scope flow tracking object when the application program lacks a subsequent reference to a wrapper object associated with the out of scope flow tracking object.
 11. A method for dynamic analysis tracking object associations for application dataflow, the method comprising: creating a first wrapper object that points to a data object received from a data source; creating a source tracking object for the first wrapper object; recording information associated with the data source into the source tracking object; creating a copy of the first wrapper object for a first tracking event in an application program; creating a first flow tracking object for the first tracking event; recording information associated with the first tracking event into the first flow tracking object as the first tracking event processes the copy of the first wrapper object; creating a second wrapper object for a second tracking event in the application program; creating a second flow tracking object for the second tracking event; recording information associated with the second tracking event into the second flow tracking object as the second tracking event processes the second wrapper object; associating the first flow tracking object with the second flow tracking object in response to a field retrieval of the copy of the first wrapper object from the second wrapper object; outputting the copy of the first wrapper object to a data sink for the application program; creating a sink tracking object for the data sink; recording information associated with the data sink into the sink tracking object; and outputting the source tracking object, the first flow tracking object, the associated second flow tracking object, and the sink tracking object as dynamic analysis of dataflow in the application program.
 12. The method of claim 11, wherein the method further comprises: connecting the source tracking object with the first wrapper object; connecting the first flow tracking object with the copy of the first wrapper object; connecting the second flow tracking object with the second wrapper object; and connecting the sink tracking object with the copy of the first wrapper object.
 13. The method of claim 11, wherein the first tracking event comprises a field assignment of the copy of the first wrapper object to a field of the second wrapper object.
 14. The method of claim 11, wherein outputting the source tracking object, the first flow tracking object, the associated second flow tracking object, and the sink tracking object comprises outputting the sink tracking object as a first node in a graph, the first flow tracking object as a second node in the graph, the associated second flow tracking object as a third node in the graph, and the sink tracking object as a fourth node in the graph, wherein the second node is linked to the first node, the third node is linked to the second node, and the fourth node is linked to the third node to depict the dataflow sequence of the graph.
 15. The method of claim 11, wherein the method further comprises deleting an out of scope flow tracking object when the application program lacks a subsequent reference to a wrapper object associated with the out of scope flow tracking object.
 16. A method for transmitting code for dynamic analysis tracking object associations for application dataflow, the method comprising: transmitting code to create a first wrapper object that points to a data object received from a data source; transmitting code to create a source tracking object for the first wrapper object; transmitting code to record information associated with the data source into the source tracking object; transmitting code to create a copy of the first wrapper object for a first tracking event in an application program; transmitting code to create a first flow tracking object for the first tracking event; transmitting code to record information associated with the first tracking event into the first flow tracking object as the first tracking event processes the copy of the first wrapper object; transmitting code to create a second wrapper object for a second tracking event in the application program; transmitting code to create a second flow tracking object for the second tracking event; transmitting code to record information associated with the second tracking event into the second flow tracking object as the second tracking event processes the second wrapper object; transmitting code to associate the first flow tracking object with the second flow tracking object in response to a field retrieval of the copy of the first wrapper object from the second wrapper object; transmitting code to output the copy of the first wrapper object to a data sink for the application program; transmitting code to create a sink tracking object for the data sink; transmitting code to record information associated with the data sink into the sink tracking object; and transmitting code to output the source tracking object, the first flow tracking object, the associated second flow tracking object, and the sink tracking object as dynamic analysis of dataflow in the application program.
 17. The method for transmitting code of claim 16, wherein the method further comprises: transmitting code to connect the source tracking object with the first wrapper object; transmitting code to connect the first flow tracking object with the copy of the first wrapper object; transmitting code to connect the second flow tracking object with the second wrapper object; and transmitting code to connect the sink tracking object with the copy of the first wrapper object.
 18. The method for transmitting code of claim 16, wherein the first tracking event comprises a field assignment of the copy of the first wrapper object to a field of the second wrapper object.
 19. The method for transmitting code of claim 16, wherein transmitting code to output the source tracking object, the first flow tracking object, the associated second flow tracking object, and the sink tracking object comprises transmitting code to output the sink tracking object as a first node in a graph, the first flow tracking object as a second node in the graph, the associated second flow tracking object as a third node in the graph, and the sink tracking object as a fourth node in the graph, wherein the second node is linked to the first node, the third node is linked to the second node, and the fourth node is linked to the third node to depict the dataflow sequence of the graph.
 20. The method for transmitting code of claim 16, wherein the method further comprises transmitting code to delete an out of scope flow tracking object when the application program lacks a subsequent reference to a wrapper object associated with the out of scope flow tracking object. 